TSTP Solution File: SEV242^5 by CARINE---0.734